Config.mk: update mini-os changeset
authorWei Liu <wei.liu2@citrix.com>
Fri, 15 Apr 2016 10:35:03 +0000 (11:35 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Fri, 15 Apr 2016 10:58:08 +0000 (11:58 +0100)
commitf4be614c3d42a34f42d03f9fa84ea28406b86519
treed3db997139a581a6e5d972f5593bfe7bfea9a221
parentac703c285a4fbfcb85c19364ea0c67780bf16c2d
Config.mk: update mini-os changeset

[commits pulled in are:
  Fix time update
  Clean arch/x86/time.c
  Mini-OS: netfront: fix off-by-one error introduced in 7c8f3483
-iwj]

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Config.mk